Parallelizing heavyweight debugging tools with mpiecho
نویسندگان
چکیده
منابع مشابه
Parallelizing heavyweight debugging tools with mpiecho
Idioms created for debugging execution on single processors and multicore systems have been successfully scaled to thousands of processors, but there is little hope that this class of techniques can continue to be scaled out to tens of millions of cores. In order to allow development of more scalable debugging idioms we introduce MPIecho, a novel runtime platform that enables cloning of MPI ran...
متن کاملMulti-level Debugging for Multi-stage, Parallelizing Compilers
A multi-stage compilation framework transforms portions of programs written in a productivity-level language into an efficiency-level language, such as C, with explicit hardwarespecific optimizations. It is challenging for compiler programmers to debug errors in the compilation because they must perform complicated end-to-end reasoning, relating the programs across the multiple stages of compil...
متن کاملCP Debugging Needs and Tools
1 Cosytec, Parc Club Orsay Universite, 4, rue Jean Rostand, 91893 Orsay Cedex, France. [email protected] 2 Facultad de Informática, Universidad Politécnica de Madrid, 28660-Boadilla del Monte, Madrid, Spain. fbueno,herme,[email protected] 3 INRIA-Rocquencourt, Projet LOCO, BP 105, F-78153 Le Chesnay Cedex, France. [email protected] 4 ICON s.r.l., Viale dell’Industria 21, 37121 Verona, I...
متن کاملModel Checking Tools for Parallelizing Compilers
In this paper we apply temporal logic and model checking to analyze the structure of a source program represented as a process graph. The nodes of this graph are sequential processes whose computations are speciied as transition systems; the edges are dependence ((ow and control) relations between the computations at the nodes. This process graph is used as an intermediate source program repres...
متن کاملDeveloping Tools for Floating-point Debugging
Floating-point arithmetic exhibits subtle behavior and the growing majority of users of numerical software are not experts in roundoff error analysis. Even for experts, locating the source of floating-point exceptions and numerical instabilities in real world programs can be difficult. Further, many of the hardware features required or suggested by the IEEE Standard 754 which aid in the debuggi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Parallel Computing
سال: 2013
ISSN: 0167-8191
DOI: 10.1016/j.parco.2012.11.002